.COMMENT This file will produce a 2-dimensional behavior graph of AM;
.DEVICE XGP
.!XGPCOMMANDS←"/TMAR=50/PMAR=2700/BMAR=50";
.FONT 1 "BASL30"
.FONT 2 "BASB30"
.FONT 3 "NGR25"
.FONT 4 "BASI30"
.FONT 5 "BDR40"
.FONT 6 "NGB25"
.FONT 7 "NGR20"
.FONT 8 "GRFX35"
.FONT 9 "FIX20"
.FONT A "SUP"
.FONT B "SUB"
.TURN ON "↑α↓_π[]{"
.TURN ON "⊗" FOR "%"
.TURN ON "@" FOR "%"
.PAGE FRAME 79 HIGH 88 WIDE
.AREA TEXT LINES 1 TO 79
.COMMENT split the following, wen readying for 2-sided document;
.ODDLEFTBORDER←EVENLEFTBORDER←750
.COMMENT IF device is LPT then remove these ligatures;
.AT "ffi" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "≥" ELSE "fαf" ⊃;
.AT "fl" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "∨" ELSE "fαl" ⊃;
.AT "fi" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α≡" ELSE "fαi" ⊃;
.AT "--" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α¬" ELSE "-α-" ⊃;
.MACRO E ⊂ APART END ⊃
.MACRO ES ⊂ END SKIP 1 ⊃
.MACRO ESS ⊂ END SKIP 2 ⊃
.MACRO BN ⊂ BEGIN INDENT 4,7,0 PREFACE 0 BNN←0 ⊃
.MACRO B0 ⊂ BEGIN SELECT 8 NOFILL PREFACE 0 MILLS TURN OFF "↑↓" GROUP ⊃
.FILL; ADJUST; COMPACT; INDENT 0,0,0; SELECT 1; PREFACE 1; SPACING 0;
!.SKIP TO COLUMN 1; GROUP SKIP 1;
.BEGIN NOFILL; INDENT 0; PREFACE 0 MILLS; SELECT 9;
.TURN ON "[]&↑↓α←→∞\"; TABS 10,20,30,40,50,60,70;
!STRUCTURES
3 8 10 12 22
SETS BAGS OSETS LISTS EMPTY-STRUCS
7 25 11 13 Generalize
(23)
4 9 25 31 44 (failure)
Canonicalize
5 44
INT-SET BI-SET INT-BAG BI-BAGS SINGL-BAG DOUBL-BAG TRIPL-BAG NUMBERS
6
130 138 149
130 147 150 151 152 154
SINGLETONS DOUBLETONS EVENS SQUARES 1-DIV 0-DIV PRIMES 3-DIV
≡EMPTY 153 155
.END;
.SKIP TO COLUMN 1; GROUP SKIP 3;
.BEGIN NOFILL; INDENT 0; PREFACE 0 MILLS; SELECT 9;
.TURN ON "[]&↑↓α←→∞\"; TABS 10,20,30,40,50,60,70;
!ACTIVES
14 15 17 18 21 26 28 30 32 33 35 36
ALL-BUT-FIRST ALL-BUT-LAST LIST-∪ PROJ1 PROJ2 BAG-∪ SET-∪ BAG-INSERT BAG-∩ SET-INSERT BAG-DELETE BAG-DIFF OSET-∩
19 20 24 27 29 31 37 34
45 50 Restrict 48 49 52
(16) Restrict Restrict Restrict Restrict
51 50
(failure) ADD-1 53
47 46 226 53
ADD2 SUPERSET BAG-DISJOINTNESS MINIMUM SUB1 SUBTRACT
77 227
54
LESS-THAN-OR-EQUAL-TO
55
Coalesce
70 56
COALESCE LEQ-SELF
76 ≡ CONSTANT-T
70
71 73 75 78 79 128 131 184
SELF-DELETE SELF-MEMBER DOUBLE SQUARE SELF-COMPOSE COA-REPLACE2 COA-JOIN2 COA-REPEAT2 SELF-INSERT SELF-SET-UNION
≡IDEN 72 ≡ALWAYS-F 74 82 129 132 ≡IDEN 185
130 159 162 135
Invert Restrict Invert 133 139
=FIRST-ELE =LAST-ELE CR2-A2 Exponen
≡TIMES 134 140
139
.COMMENT IF SPLIT IS NEEDED:
. END
. SKIP TO COLUMN 1 GROUP SKIP 4
. BEGIN NOFILL INDENT 0 PREFACE 0 MILLS SELECT 9
. TURN ON "[]&↑↓α←→∞\" TABS 10,20,30,40,50,60,70
. ;
161 160 164 136 80 81 86 87 228 230
HALVING SQUARE2 SQUARE3 SQUARE-ROOT Xα↑4 (X+Y)+Z X+(Y+Z) (XY)Z X(YZ) (FG)H F(GH)
137 138 84 83 89 88 229 231
≡X+Y+Z ≡XYZ
165 156 163 (see ADD) (see TIMES)
Compose Restrict Restrict
166 157 176
DIV-SQ3 ROOT3 ROOT2 ADD (232-252)
167 158 ≡ALWAYS-F
214
Restrict
254 253 256 255 212
+SQUARE +PRIME +EVEN +0 +1 Ad2 +3
85 213
Invert 254 256
188
.ONCE TURN ON "↑"
INV-ADD X↑2+Y↑2=Z↑2 PRIME-PAIR
189
195 190
Restrict Restrict
199 193 191
SINGLE-ADD INV+EVEN INV+PRIME INV+SQUARE INV+0 INV+1 INV+2
≡SINGL-x 200 194 192
195
Restrict
197
PRIME-ADD
198
Restrict 201
202
PRIME-ADD-SING
203
.END
!.SKIP TO COLUMN 1; GROUP SKIP 3;
.BEGIN NOFILL; INDENT 0; PREFACE 0 MILLS; SELECT 9;
.TURN ON "[]&↑↓α←→∞\"; TABS 10,20,30,40,50,60,70;
.GROUP SKIP 10
38 40 41 57 (2) 91 (1),108
SET-∩ LIST-∩ EQUALITY PARALLEL-JOIN2 SET-∪ PARALLEL-REPLACE2 COMPOSE
39
42
Generalize (108)
224 43 61 66 97 109
SUBSET DISJOINTED SAME-SIZE EQ-CAR TIMES G-UNION MR2-BBP2 INT-COMPOSE
225 62 68 102
44 44
Canonicalize
112 114 121
SIZE 90 148 G-∪oMR2-BBP2 INSERToDELETE TIMESoSQUARE
Invert ≡TIMES 115 125 127
141 205 204 206 209 210 216 218 219
INV-TIMES xSQUARE x1 x0 x2 xEVEN x-TO-EVEN x-TO-SQUARE
142 143,177 208 207 215 211 217 221 220
≡IDEN ≡DOUBLE ≡xSQUARE
178 179 144
Restrict Compose Analogy
186 222 180 182 145
SELF-BAG-UNION SELF-UNION PRIME-x SINGL-x DIVISORS-OF (see AD2)
187 223 181 183 146 149
≡BAG-INS
.END